Knowledge creation and management models: a theoretic approach

Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management

There are many real-life examples of formal systems that support constructions or proofs, but that do not provide direct support for remembering them so that they can be recalled and reused in the future. In this paper we examine the operations of publication (remembering a proof) and citation (recalling a proof for reuse), regarding them as forms of common subexpression elimination on proof te...

Organizational Knowledge Creation and Management

A Quantitative And Qualitative Approach To Knowledge Management – Episodic Extraction, Enhancement And Creation Of Tacit Knowledge

Capturing employee’s knowledge is of prime importance to any organization. If the knowledge is captured after a completion of entire task, quality and quantity of knowledge obtained from the expert decreases as it is human tendency to forget after a long interval of time. We, in this paper have developed a model emphasizing the need for episodic extraction, enhancement and creation of the tacit...

A proof-theoretic approach to knowledge

We speculate on logical aspects of the so-called three wise men puzzle with proof-theoretic methods. We propose and study the following. (1) Logical ability of each player of a puzzle is equivalent to a logical system KL, which is based on classical propositional calculus augmented with inferences of knowledge operators. (2) Enriched pieces of knowledge of players are obtained as results of met...

a new approach to credibility premium for zero-inflated poisson models for panel data

هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...